type Reader[R, A] = R => A